Java memory model

Results: 74



#Item
41Concurrent computing / Thread / POSIX Threads / Memory barrier / Critical section / Lock / Software transactional memory / Java Memory Model / Parallel computing / Computing / Concurrency control / Computer programming

Threads Cannot be Implemented as a Library

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2004-11-22 13:24:54
42Compiling tools / Cross-platform software / Standards organizations / Java platform / Scala / Apache Maven / Software transactional memory / Actor model / Simple Build Tool / Computing / Software / Build automation

Akka Documentation Release[removed]Typesafe Inc March 08, 2012

Add to Reading List

Source URL: doc.akka.io

Language: English - Date: 2012-03-08 00:07:25
43Standards organizations / Web application frameworks / Concurrency control / Software transactional memory / Transaction processing / Actor model / Scala / OSGi / Play Framework / Computing / Software engineering / Java platform

Akka Java Documentation Release[removed]Typesafe Inc October 24, 2014

Add to Reading List

Source URL: doc.akka.io

Language: English - Date: 2014-10-24 10:09:22
44Cross-platform software / Web application frameworks / Scala / Standards organizations / Software transactional memory / Actor model / Play Framework / OSGi / Java virtual machine / Computing / Software / Java platform

Akka Documentation Release[removed]Typesafe Inc May 14, 2013

Add to Reading List

Source URL: doc.akka.io

Language: English - Date: 2013-05-14 08:43:40
45Web application frameworks / Cross-platform software / Build automation / Compiling tools / Scala / Software transactional memory / Actor model / Apache Maven / Play Framework / Computing / Software / Java platform

Akka Documentation Release[removed]Typesafe Inc January 02, 2013

Add to Reading List

Source URL: doc.akka.io

Language: English - Date: 2013-01-02 07:40:11
46Java Memory Model / Java platform / Relational algebra / Relational model / Memory ordering / Parallel computing / R / Function / Computing / Software engineering / Computer memory

MemSAT: Checking Axiomatic Specifications of Memory Models Emina Torlak Mandana Vaziri

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
47Concurrent computing / Java platform / Computer memory / Parallel computing / Thread / Java Memory Model / Lock / Linearizability / Memory model / Computing / Transaction processing / Concurrency control

Programming Language Memory Models: What do Shared Variables Mean? Hans-J. Boehm[removed]

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
48Computer memory / Parallel computing / Threads / C POSIX library / POSIX Threads / Memory barrier / Memory model / Spinlock / Java Memory Model / Computing / Concurrent computing / Concurrency control

Reordering Constraints for Pthread-Style Locks Hans-J. Boehm HP Labs

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
49Parallel computing / Computer memory / Concurrency control / Threads / Concurrency / Thread / Memory barrier / POSIX Threads / Java Memory Model / Computing / Concurrent computing / Software engineering

Threads Cannot be Implemented as a Library Hans-J. Boehm HP Laboratories

Add to Reading List

Source URL: www.hboehm.info

Language: English - Date: 2014-02-06 19:37:32
50Parallel computing / Concurrency control / Compiler construction / Concurrency / Memory model / Memory barrier / Java Memory Model / Thread / Stream processing / Computing / Software engineering / Computer memory

A version of this paper will appear in the Communications of the ACM (CACM). Memory Models: A Case for Rethinking Parallel Languages and Hardware Sarita V. Adve

Add to Reading List

Source URL: rsim.cs.illinois.edu

Language: English - Date: 2009-12-09 12:25:29
UPDATE